Optimal. Leaf size=566 \[ -\frac {b d \cos \left (a+\frac {b \sqrt [3]{f}}{\sqrt [3]{-d e+c f}}\right ) \text {Ci}\left (\frac {b \sqrt [3]{f}}{\sqrt [3]{-d e+c f}}-\frac {b}{\sqrt [3]{c+d x}}\right )}{3 f^{2/3} (-d e+c f)^{4/3}}-\frac {(-1)^{2/3} b d \cos \left (a+\frac {(-1)^{2/3} b \sqrt [3]{f}}{\sqrt [3]{-d e+c f}}\right ) \text {Ci}\left (\frac {(-1)^{2/3} b \sqrt [3]{f}}{\sqrt [3]{-d e+c f}}-\frac {b}{\sqrt [3]{c+d x}}\right )}{3 f^{2/3} (-d e+c f)^{4/3}}+\frac {\sqrt [3]{-1} b d \cos \left (a-\frac {\sqrt [3]{-1} b \sqrt [3]{f}}{\sqrt [3]{-d e+c f}}\right ) \text {Ci}\left (\frac {\sqrt [3]{-1} b \sqrt [3]{f}}{\sqrt [3]{-d e+c f}}+\frac {b}{\sqrt [3]{c+d x}}\right )}{3 f^{2/3} (-d e+c f)^{4/3}}+\frac {(c+d x) \sin \left (a+\frac {b}{\sqrt [3]{c+d x}}\right )}{(d e-c f) (e+f x)}-\frac {b d \sin \left (a+\frac {b \sqrt [3]{f}}{\sqrt [3]{-d e+c f}}\right ) \text {Si}\left (\frac {b \sqrt [3]{f}}{\sqrt [3]{-d e+c f}}-\frac {b}{\sqrt [3]{c+d x}}\right )}{3 f^{2/3} (-d e+c f)^{4/3}}-\frac {(-1)^{2/3} b d \sin \left (a+\frac {(-1)^{2/3} b \sqrt [3]{f}}{\sqrt [3]{-d e+c f}}\right ) \text {Si}\left (\frac {(-1)^{2/3} b \sqrt [3]{f}}{\sqrt [3]{-d e+c f}}-\frac {b}{\sqrt [3]{c+d x}}\right )}{3 f^{2/3} (-d e+c f)^{4/3}}-\frac {\sqrt [3]{-1} b d \sin \left (a-\frac {\sqrt [3]{-1} b \sqrt [3]{f}}{\sqrt [3]{-d e+c f}}\right ) \text {Si}\left (\frac {\sqrt [3]{-1} b \sqrt [3]{f}}{\sqrt [3]{-d e+c f}}+\frac {b}{\sqrt [3]{c+d x}}\right )}{3 f^{2/3} (-d e+c f)^{4/3}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 1.66, antiderivative size = 566, normalized size of antiderivative = 1.00, number of steps
used = 13, number of rules used = 6, integrand size = 22, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.273, Rules used = {3512, 3422,
3415, 3384, 3380, 3383} \begin {gather*} -\frac {b d \cos \left (a+\frac {b \sqrt [3]{f}}{\sqrt [3]{c f-d e}}\right ) \text {CosIntegral}\left (\frac {b \sqrt [3]{f}}{\sqrt [3]{c f-d e}}-\frac {b}{\sqrt [3]{c+d x}}\right )}{3 f^{2/3} (c f-d e)^{4/3}}-\frac {(-1)^{2/3} b d \cos \left (a+\frac {(-1)^{2/3} b \sqrt [3]{f}}{\sqrt [3]{c f-d e}}\right ) \text {CosIntegral}\left (\frac {(-1)^{2/3} b \sqrt [3]{f}}{\sqrt [3]{c f-d e}}-\frac {b}{\sqrt [3]{c+d x}}\right )}{3 f^{2/3} (c f-d e)^{4/3}}+\frac {\sqrt [3]{-1} b d \cos \left (a-\frac {\sqrt [3]{-1} b \sqrt [3]{f}}{\sqrt [3]{c f-d e}}\right ) \text {CosIntegral}\left (\frac {\sqrt [3]{-1} b \sqrt [3]{f}}{\sqrt [3]{c f-d e}}+\frac {b}{\sqrt [3]{c+d x}}\right )}{3 f^{2/3} (c f-d e)^{4/3}}-\frac {b d \sin \left (a+\frac {b \sqrt [3]{f}}{\sqrt [3]{c f-d e}}\right ) \text {Si}\left (\frac {b \sqrt [3]{f}}{\sqrt [3]{c f-d e}}-\frac {b}{\sqrt [3]{c+d x}}\right )}{3 f^{2/3} (c f-d e)^{4/3}}-\frac {(-1)^{2/3} b d \sin \left (a+\frac {(-1)^{2/3} b \sqrt [3]{f}}{\sqrt [3]{c f-d e}}\right ) \text {Si}\left (\frac {(-1)^{2/3} b \sqrt [3]{f}}{\sqrt [3]{c f-d e}}-\frac {b}{\sqrt [3]{c+d x}}\right )}{3 f^{2/3} (c f-d e)^{4/3}}-\frac {\sqrt [3]{-1} b d \sin \left (a-\frac {\sqrt [3]{-1} b \sqrt [3]{f}}{\sqrt [3]{c f-d e}}\right ) \text {Si}\left (\frac {\sqrt [3]{-1} \sqrt [3]{f} b}{\sqrt [3]{c f-d e}}+\frac {b}{\sqrt [3]{c+d x}}\right )}{3 f^{2/3} (c f-d e)^{4/3}}+\frac {(c+d x) \sin \left (a+\frac {b}{\sqrt [3]{c+d x}}\right )}{(e+f x) (d e-c f)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 3380
Rule 3383
Rule 3384
Rule 3415
Rule 3422
Rule 3512
Rubi steps
\begin {align*} \int \frac {\sin \left (a+\frac {b}{\sqrt [3]{c+d x}}\right )}{(e+f x)^2} \, dx &=-\frac {3 \text {Subst}\left (\int \frac {x^2 \sin (a+b x)}{\left (\frac {f}{d}+\left (e-\frac {c f}{d}\right ) x^3\right )^2} \, dx,x,\frac {1}{\sqrt [3]{c+d x}}\right )}{d}\\ &=\frac {(c+d x) \sin \left (a+\frac {b}{\sqrt [3]{c+d x}}\right )}{(d e-c f) (e+f x)}-\frac {b \text {Subst}\left (\int \frac {\cos (a+b x)}{\frac {f}{d}+\left (e-\frac {c f}{d}\right ) x^3} \, dx,x,\frac {1}{\sqrt [3]{c+d x}}\right )}{d e-c f}\\ &=\frac {(c+d x) \sin \left (a+\frac {b}{\sqrt [3]{c+d x}}\right )}{(d e-c f) (e+f x)}-\frac {b \text {Subst}\left (\int \left (\frac {d \cos (a+b x)}{3 f^{2/3} \left (\sqrt [3]{f}-\sqrt [3]{-d e+c f} x\right )}+\frac {d \cos (a+b x)}{3 f^{2/3} \left (\sqrt [3]{f}+\sqrt [3]{-1} \sqrt [3]{-d e+c f} x\right )}+\frac {d \cos (a+b x)}{3 f^{2/3} \left (\sqrt [3]{f}-(-1)^{2/3} \sqrt [3]{-d e+c f} x\right )}\right ) \, dx,x,\frac {1}{\sqrt [3]{c+d x}}\right )}{d e-c f}\\ &=\frac {(c+d x) \sin \left (a+\frac {b}{\sqrt [3]{c+d x}}\right )}{(d e-c f) (e+f x)}-\frac {(b d) \text {Subst}\left (\int \frac {\cos (a+b x)}{\sqrt [3]{f}-\sqrt [3]{-d e+c f} x} \, dx,x,\frac {1}{\sqrt [3]{c+d x}}\right )}{3 f^{2/3} (d e-c f)}-\frac {(b d) \text {Subst}\left (\int \frac {\cos (a+b x)}{\sqrt [3]{f}+\sqrt [3]{-1} \sqrt [3]{-d e+c f} x} \, dx,x,\frac {1}{\sqrt [3]{c+d x}}\right )}{3 f^{2/3} (d e-c f)}-\frac {(b d) \text {Subst}\left (\int \frac {\cos (a+b x)}{\sqrt [3]{f}-(-1)^{2/3} \sqrt [3]{-d e+c f} x} \, dx,x,\frac {1}{\sqrt [3]{c+d x}}\right )}{3 f^{2/3} (d e-c f)}\\ &=\frac {(c+d x) \sin \left (a+\frac {b}{\sqrt [3]{c+d x}}\right )}{(d e-c f) (e+f x)}-\frac {\left (b d \cos \left (a+\frac {b \sqrt [3]{f}}{\sqrt [3]{-d e+c f}}\right )\right ) \text {Subst}\left (\int \frac {\cos \left (\frac {b \sqrt [3]{f}}{\sqrt [3]{-d e+c f}}-b x\right )}{\sqrt [3]{f}-\sqrt [3]{-d e+c f} x} \, dx,x,\frac {1}{\sqrt [3]{c+d x}}\right )}{3 f^{2/3} (d e-c f)}-\frac {\left (b d \cos \left (a-\frac {\sqrt [3]{-1} b \sqrt [3]{f}}{\sqrt [3]{-d e+c f}}\right )\right ) \text {Subst}\left (\int \frac {\cos \left (\frac {\sqrt [3]{-1} b \sqrt [3]{f}}{\sqrt [3]{-d e+c f}}+b x\right )}{\sqrt [3]{f}-(-1)^{2/3} \sqrt [3]{-d e+c f} x} \, dx,x,\frac {1}{\sqrt [3]{c+d x}}\right )}{3 f^{2/3} (d e-c f)}-\frac {\left (b d \cos \left (a+\frac {(-1)^{2/3} b \sqrt [3]{f}}{\sqrt [3]{-d e+c f}}\right )\right ) \text {Subst}\left (\int \frac {\cos \left (\frac {(-1)^{2/3} b \sqrt [3]{f}}{\sqrt [3]{-d e+c f}}-b x\right )}{\sqrt [3]{f}+\sqrt [3]{-1} \sqrt [3]{-d e+c f} x} \, dx,x,\frac {1}{\sqrt [3]{c+d x}}\right )}{3 f^{2/3} (d e-c f)}-\frac {\left (b d \sin \left (a+\frac {b \sqrt [3]{f}}{\sqrt [3]{-d e+c f}}\right )\right ) \text {Subst}\left (\int \frac {\sin \left (\frac {b \sqrt [3]{f}}{\sqrt [3]{-d e+c f}}-b x\right )}{\sqrt [3]{f}-\sqrt [3]{-d e+c f} x} \, dx,x,\frac {1}{\sqrt [3]{c+d x}}\right )}{3 f^{2/3} (d e-c f)}+\frac {\left (b d \sin \left (a-\frac {\sqrt [3]{-1} b \sqrt [3]{f}}{\sqrt [3]{-d e+c f}}\right )\right ) \text {Subst}\left (\int \frac {\sin \left (\frac {\sqrt [3]{-1} b \sqrt [3]{f}}{\sqrt [3]{-d e+c f}}+b x\right )}{\sqrt [3]{f}-(-1)^{2/3} \sqrt [3]{-d e+c f} x} \, dx,x,\frac {1}{\sqrt [3]{c+d x}}\right )}{3 f^{2/3} (d e-c f)}-\frac {\left (b d \sin \left (a+\frac {(-1)^{2/3} b \sqrt [3]{f}}{\sqrt [3]{-d e+c f}}\right )\right ) \text {Subst}\left (\int \frac {\sin \left (\frac {(-1)^{2/3} b \sqrt [3]{f}}{\sqrt [3]{-d e+c f}}-b x\right )}{\sqrt [3]{f}+\sqrt [3]{-1} \sqrt [3]{-d e+c f} x} \, dx,x,\frac {1}{\sqrt [3]{c+d x}}\right )}{3 f^{2/3} (d e-c f)}\\ &=-\frac {b d \cos \left (a+\frac {b \sqrt [3]{f}}{\sqrt [3]{-d e+c f}}\right ) \text {Ci}\left (\frac {b \sqrt [3]{f}}{\sqrt [3]{-d e+c f}}-\frac {b}{\sqrt [3]{c+d x}}\right )}{3 f^{2/3} (-d e+c f)^{4/3}}-\frac {(-1)^{2/3} b d \cos \left (a+\frac {(-1)^{2/3} b \sqrt [3]{f}}{\sqrt [3]{-d e+c f}}\right ) \text {Ci}\left (\frac {(-1)^{2/3} b \sqrt [3]{f}}{\sqrt [3]{-d e+c f}}-\frac {b}{\sqrt [3]{c+d x}}\right )}{3 f^{2/3} (-d e+c f)^{4/3}}+\frac {\sqrt [3]{-1} b d \cos \left (a-\frac {\sqrt [3]{-1} b \sqrt [3]{f}}{\sqrt [3]{-d e+c f}}\right ) \text {Ci}\left (\frac {\sqrt [3]{-1} b \sqrt [3]{f}}{\sqrt [3]{-d e+c f}}+\frac {b}{\sqrt [3]{c+d x}}\right )}{3 f^{2/3} (-d e+c f)^{4/3}}+\frac {(c+d x) \sin \left (a+\frac {b}{\sqrt [3]{c+d x}}\right )}{(d e-c f) (e+f x)}-\frac {b d \sin \left (a+\frac {b \sqrt [3]{f}}{\sqrt [3]{-d e+c f}}\right ) \text {Si}\left (\frac {b \sqrt [3]{f}}{\sqrt [3]{-d e+c f}}-\frac {b}{\sqrt [3]{c+d x}}\right )}{3 f^{2/3} (-d e+c f)^{4/3}}-\frac {(-1)^{2/3} b d \sin \left (a+\frac {(-1)^{2/3} b \sqrt [3]{f}}{\sqrt [3]{-d e+c f}}\right ) \text {Si}\left (\frac {(-1)^{2/3} b \sqrt [3]{f}}{\sqrt [3]{-d e+c f}}-\frac {b}{\sqrt [3]{c+d x}}\right )}{3 f^{2/3} (-d e+c f)^{4/3}}-\frac {\sqrt [3]{-1} b d \sin \left (a-\frac {\sqrt [3]{-1} b \sqrt [3]{f}}{\sqrt [3]{-d e+c f}}\right ) \text {Si}\left (\frac {\sqrt [3]{-1} b \sqrt [3]{f}}{\sqrt [3]{-d e+c f}}+\frac {b}{\sqrt [3]{c+d x}}\right )}{3 f^{2/3} (-d e+c f)^{4/3}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] Result contains higher order function than in optimal. Order 9 vs. order 4 in
optimal.
time = 0.76, size = 313, normalized size = 0.55 \begin {gather*} \frac {(\cos (a)+i \sin (a)) \left (b d (e+f x) \text {RootSum}\left [d e-c f+f \text {$\#$1}^3\&,\frac {\text {Ei}\left (\frac {i b}{\sqrt [3]{c+d x}}\right )-e^{\frac {i b}{\text {$\#$1}}} \text {Ei}\left (i b \left (\frac {1}{\sqrt [3]{c+d x}}-\frac {1}{\text {$\#$1}}\right )\right )}{\text {$\#$1}}\&\right ]+(c+d x) \left (3 i f \cos \left (\frac {b}{\sqrt [3]{c+d x}}\right )-3 f \sin \left (\frac {b}{\sqrt [3]{c+d x}}\right )\right )\right )+i \left (-3 c f-3 d f x+b d (e+f x) \text {RootSum}\left [d e-c f+f \text {$\#$1}^3\&,\frac {\text {Ei}\left (-\frac {i b}{\sqrt [3]{c+d x}}\right )-e^{-\frac {i b}{\text {$\#$1}}} \text {Ei}\left (-i b \left (\frac {1}{\sqrt [3]{c+d x}}-\frac {1}{\text {$\#$1}}\right )\right )}{\text {$\#$1}}\&\right ] \left (-i \cos \left (\frac {b}{\sqrt [3]{c+d x}}\right )+\sin \left (\frac {b}{\sqrt [3]{c+d x}}\right )\right )\right ) \left (\cos \left (a+\frac {b}{\sqrt [3]{c+d x}}\right )-i \sin \left (a+\frac {b}{\sqrt [3]{c+d x}}\right )\right )}{6 f (-d e+c f) (e+f x)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
4.
time = 0.09, size = 1554, normalized size = 2.75
method | result | size |
derivativedivides | \(\text {Expression too large to display}\) | \(1554\) |
default | \(\text {Expression too large to display}\) | \(1554\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [C] Result contains complex when optimal does not.
time = 0.44, size = 827, normalized size = 1.46 \begin {gather*} -\frac {\left (\frac {i \, b^{3} f}{c f - d e}\right )^{\frac {1}{3}} {\left (-i \, d f x - i \, d e + \sqrt {3} {\left (d f x + d e\right )}\right )} {\rm Ei}\left (\frac {2 i \, {\left (d x + c\right )}^{\frac {2}{3}} b - \left (\frac {i \, b^{3} f}{c f - d e}\right )^{\frac {1}{3}} {\left (d x - \sqrt {3} {\left (-i \, d x - i \, c\right )} + c\right )}}{2 \, {\left (d x + c\right )}}\right ) e^{\left (\frac {1}{2} \, \left (\frac {i \, b^{3} f}{c f - d e}\right )^{\frac {1}{3}} {\left (i \, \sqrt {3} + 1\right )} + i \, a\right )} + \left (-\frac {i \, b^{3} f}{c f - d e}\right )^{\frac {1}{3}} {\left (i \, d f x + i \, d e - \sqrt {3} {\left (d f x + d e\right )}\right )} {\rm Ei}\left (\frac {-2 i \, {\left (d x + c\right )}^{\frac {2}{3}} b - \left (-\frac {i \, b^{3} f}{c f - d e}\right )^{\frac {1}{3}} {\left (d x - \sqrt {3} {\left (-i \, d x - i \, c\right )} + c\right )}}{2 \, {\left (d x + c\right )}}\right ) e^{\left (\frac {1}{2} \, \left (-\frac {i \, b^{3} f}{c f - d e}\right )^{\frac {1}{3}} {\left (i \, \sqrt {3} + 1\right )} - i \, a\right )} + \left (\frac {i \, b^{3} f}{c f - d e}\right )^{\frac {1}{3}} {\left (-i \, d f x - i \, d e - \sqrt {3} {\left (d f x + d e\right )}\right )} {\rm Ei}\left (\frac {2 i \, {\left (d x + c\right )}^{\frac {2}{3}} b - \left (\frac {i \, b^{3} f}{c f - d e}\right )^{\frac {1}{3}} {\left (d x - \sqrt {3} {\left (i \, d x + i \, c\right )} + c\right )}}{2 \, {\left (d x + c\right )}}\right ) e^{\left (\frac {1}{2} \, \left (\frac {i \, b^{3} f}{c f - d e}\right )^{\frac {1}{3}} {\left (-i \, \sqrt {3} + 1\right )} + i \, a\right )} + \left (-\frac {i \, b^{3} f}{c f - d e}\right )^{\frac {1}{3}} {\left (i \, d f x + i \, d e + \sqrt {3} {\left (d f x + d e\right )}\right )} {\rm Ei}\left (\frac {-2 i \, {\left (d x + c\right )}^{\frac {2}{3}} b - \left (-\frac {i \, b^{3} f}{c f - d e}\right )^{\frac {1}{3}} {\left (d x - \sqrt {3} {\left (i \, d x + i \, c\right )} + c\right )}}{2 \, {\left (d x + c\right )}}\right ) e^{\left (\frac {1}{2} \, \left (-\frac {i \, b^{3} f}{c f - d e}\right )^{\frac {1}{3}} {\left (-i \, \sqrt {3} + 1\right )} - i \, a\right )} - 2 \, \left (\frac {i \, b^{3} f}{c f - d e}\right )^{\frac {1}{3}} {\left (-i \, d f x - i \, d e\right )} {\rm Ei}\left (\frac {i \, {\left (d x + c\right )}^{\frac {2}{3}} b + \left (\frac {i \, b^{3} f}{c f - d e}\right )^{\frac {1}{3}} {\left (d x + c\right )}}{d x + c}\right ) e^{\left (i \, a - \left (\frac {i \, b^{3} f}{c f - d e}\right )^{\frac {1}{3}}\right )} - 2 \, \left (-\frac {i \, b^{3} f}{c f - d e}\right )^{\frac {1}{3}} {\left (i \, d f x + i \, d e\right )} {\rm Ei}\left (\frac {-i \, {\left (d x + c\right )}^{\frac {2}{3}} b + \left (-\frac {i \, b^{3} f}{c f - d e}\right )^{\frac {1}{3}} {\left (d x + c\right )}}{d x + c}\right ) e^{\left (-i \, a - \left (-\frac {i \, b^{3} f}{c f - d e}\right )^{\frac {1}{3}}\right )} + 12 \, {\left (d f x + c f\right )} \sin \left (\frac {a d x + a c + {\left (d x + c\right )}^{\frac {2}{3}} b}{d x + c}\right )}{12 \, {\left (c f^{3} x - d f e^{2} - {\left (d f^{2} x - c f^{2}\right )} e\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\sin {\left (a + \frac {b}{\sqrt [3]{c + d x}} \right )}}{\left (e + f x\right )^{2}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {\sin \left (a+\frac {b}{{\left (c+d\,x\right )}^{1/3}}\right )}{{\left (e+f\,x\right )}^2} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________